Fixed-Point Posets in Theories of Truth

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump

Two-sorted Frege Arithmetic is not Conservative

Neo-Fregean logicists claim that Hume's Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A longstanding problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck's Two-sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it isn't. In fact, 2FA is not conservative over $n$-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic

The effect of chair massage on muscular discomfort in cardiac sonographers: a pilot study

<p>Abstract</p> <p>Background</p> <p>Cardiac sonographers frequently have work-related muscular discomfort. We aimed to assess the feasibility of having sonographers receive massages during working hours in an area adjacent to an echocardiography laboratory and to assess relief of discomfort with use of the massages with or without stretching exercises.</p> <p>Methods</p> <p>A group of 45 full-time sonographers was randomly assigned to receive weekly 30-minute massage sessions, massages plus stretching exercises to be performed twice a day, or no intervention. Outcome measures were scores of the <it>Quick</it>DASH instrument and its associated work module at baseline and at 10 weeks of intervention. Data were analyzed with standard descriptive statistics and the separation test for early-phase comparative trials.</p> <p>Results</p> <p>Forty-four participants completed the study: 15 in the control group, 14 in the massage group, and 15 in the massage plus stretches group. Some improvement was seen in work-related discomfort by the <it>Quick</it>DASH scores and work module scores in the 2 intervention groups. The separation test showed separation in favor of the 2 interventions.</p> <p>Conclusion</p> <p>On the basis of the results of this pilot study, larger trials are warranted to evaluate the effect of massages with or without stretching on work-related discomfort in cardiac sonographers.</p> <p>Trial Registration</p> <p>NCT00975026 ClinicalTrials.gov</p

The Fourteenth Data Release of the Sloan Digital Sky Survey: First Spectroscopic Data from the extended Baryon Oscillation Spectroscopic Survey and from the second phase of the Apache Point Observatory Galactic Evolution Experiment

The fourth generation of the Sloan Digital Sky Survey (SDSS-IV) has been in operation since July 2014. This paper describes the second data release from this phase, and the fourteenth from SDSS overall (making this, Data Release Fourteen or DR14). This release makes public data taken by SDSS-IV in its first two years of operation (July 2014-2016). Like all previous SDSS releases, DR14 is cumulative, including the most recent reductions and calibrations of all data taken by SDSS since the first phase began operations in 2000. New in DR14 is the first public release of data from the extended Baryon Oscillation Spectroscopic Survey (eBOSS); the first data from the second phase of the Apache Point Observatory (APO) Galactic Evolution Experiment (APOGEE-2), including stellar parameter estimates from an innovative data driven machine learning algorithm known as "The Cannon"; and almost twice as many data cubes from the Mapping Nearby Galaxies at APO (MaNGA) survey as were in the previous release (N = 2812 in total). This paper describes the location and format of the publicly available data from SDSS-IV surveys. We provide references to the important technical papers describing how these data have been taken (both targeting and observation details) and processed for scientific use. The SDSS website (www.sdss.org) has been updated for this release, and provides links to data downloads, as well as tutorials and examples of data use. SDSS-IV is planning to continue to collect astronomical data until 2020, and will be followed by SDSS-V.Comment: SDSS-IV collaboration alphabetical author data release paper. DR14 happened on 31st July 2017. 19 pages, 5 figures. Accepted by ApJS on 28th Nov 2017 (this is the "post-print" and "post-proofs" version; minor corrections only from v1, and most of errors found in proofs corrected

The 13th Data Release of the Sloan Digital Sky Survey: First Spectroscopic Data from the SDSS-IV Survey Mapping Nearby Galaxies at Apache Point Observatory

The fourth generation of the Sloan Digital Sky Survey (SDSS-IV) began observations in July 2014. It pursues three core programs: APOGEE-2,MaNGA, and eBOSS. In addition, eBOSS contains two major subprograms: TDSS and SPIDERS. This paper describes the first data release from SDSS-IV, Data Release 13 (DR13), which contains new data, reanalysis of existing data sets and, like all SDSS data releases, is inclusive of previously released data. DR13 makes publicly available 1390 spatially resolved integral field unit observations of nearby galaxies from MaNGA,the first data released from this survey. It includes new observations from eBOSS, completing SEQUELS. In addition to targeting galaxies and quasars, SEQUELS also targeted variability-selected objects from TDSS and X-ray selected objects from SPIDERS. DR13 includes new reductions ofthe SDSS-III BOSS data, improving the spectrophotometric calibration and redshift classification. DR13 releases new reductions of the APOGEE-1data from SDSS-III, with abundances of elements not previously included and improved stellar parameters for dwarf stars and cooler stars. For the SDSS imaging data, DR13 provides new, more robust and precise photometric calibrations. Several value-added catalogs are being released in tandem with DR13, in particular target catalogs relevant for eBOSS, TDSS, and SPIDERS, and an updated red-clump catalog for APOGEE.This paper describes the location and format of the data now publicly available, as well as providing references to the important technical papers that describe the targeting, observing, and data reduction. The SDSS website, http://www.sdss.org, provides links to the data, tutorials and examples of data access, and extensive documentation of the reduction and analysis procedures. DR13 is the first of a scheduled set that will contain new data and analyses from the planned ~6-year operations of SDSS-IV.PostprintPeer reviewe

The Fourteenth Data Release of the Sloan Digital Sky Survey: First Spectroscopic Data from the Extended Baryon Oscillation Spectroscopic Survey and from the Second Phase of the Apache Point Observatory Galactic Evolution Experiment

The fourth generation of the Sloan Digital Sky Survey (SDSS-IV) has been in operation since 2014 July. This paper describes the second data release from this phase, and the 14th from SDSS overall (making this Data Release Fourteen or DR14). This release makes the data taken by SDSS-IV in its first two years of operation (2014–2016 July) public. Like all previous SDSS releases, DR14 is cumulative, including the most recent reductions and calibrations of all data taken by SDSS since the first phase began operations in 2000. New in DR14 is the first public release of data from the extended Baryon Oscillation Spectroscopic Survey; the first data from the second phase of the Apache Point Observatory (APO) Galactic Evolution Experiment (APOGEE-2), including stellar parameter estimates from an innovative data-driven machine-learning algorithm known as "The Cannon"; and almost twice as many data cubes from the Mapping Nearby Galaxies at APO (MaNGA) survey as were in the previous release (N = 2812 in total). This paper describes the location and format of the publicly available data from the SDSS-IV surveys. We provide references to the important technical papers describing how these data have been taken (both targeting and observation details) and processed for scientific use. The SDSS web site (www.sdss.org) has been updated for this release and provides links to data downloads, as well as tutorials and examples of data use. SDSS-IV is planning to continue to collect astronomical data until 2020 and will be followed by SDSS-V

Knowledge and information needs of young people with epilepsy and their parents: Mixed-method systematic review

Abstract Background Young people with neurological impairments such as epilepsy are known to receive less adequate services compared to young people with other long-term conditions. The time (age 13-19 years) around transition to adult services is particularly important in facilitating young people's self-care and ongoing management. There are epilepsy specific, biological and psycho-social factors that act as barriers and enablers to information exchange and nurturing of self-care practices. Review objectives were to identify what is known to be effective in delivering information to young people age 13-19 years with epilepsy and their parents, to describe their experiences of information exchange in healthcare contexts, and to identify factors influencing positive and negative healthcare communication. Methods The Evidence for Policy and Practice Information Coordinating Centre systematic mixed-method approach was adapted to locate, appraise, extract and synthesise evidence. We used Ley's cognitive hypothetical model of communication and subsequently developed a theoretical framework explaining information exchange in healthcare contexts. Results Young people and parents believed that healthcare professionals were only interested in medical management. Young people felt that discussions about their epilepsy primarily occurred between professionals and parents. Epilepsy information that young people obtained from parents or from their own efforts increased the risk of epilepsy misconceptions. Accurate epilepsy knowledge aided psychosocial adjustment. There is some evidence that interventions, when delivered in a structured psycho-educational, age appropriate way, increased young people's epilepsy knowledge, with positive trend to improving quality of life. We used mainly qualitative and mixed-method evidence to develop a theoretical framework explaining information exchange in clinical encounters. Conclusions There is a paucity of evidence reporting effective interventions, and the most effective ways of delivering information/education in healthcare contexts. No studies indicated if improvement was sustained over time and whether increased knowledge was effective in improving in self-care. Current models of facilitating information exchange and self-care around transition are not working well. There is an urgent need for further studies to develop and evaluate interventions to facilitate successful information exchange, and follow young people over time to see if interventions showing early promise are effective in the medium to long-term.</p

Who Makes AI? The Gender of AI Scientists in Popular Film

S.C. and K.D. are funded by the Leverhulme Trust (via grant number RC-2015-067 to the Leverhulme Centre for the Future of Intelligence) and Stiftung Mercator. K.D. is additionally funded through the support of grants from DeepMind Ethics & Society and Templeton World Charity Foundation, Inc. E.D. and K.M. were funded by Christina Gaw as part of the Gender and Technology project at the University of Cambridge Centre for Gender Studies, and are currently funded by Stiftung Mercator. Templeton World Charity Foundation (TWCF) (TWCF0335